extract:

fetch:
	rm -rf fetched/*
	wget http://www.w3.org/TR/REC-CSS1-961217
	mv REC-CSS1-961217 fetched/REC-CSS1-961217.html
